7

A formal data-model of the CORBA security service

Year:
2001
Language:
english
File:
PDF, 75 KB
english, 2001
46

On the semantics of Alice&Bob specifications of security protocols

Year:
2006
Language:
english
File:
PDF, 548 KB
english, 2006
47

Deconstructing Alice and Bob

Year:
2005
Language:
english
File:
PDF, 354 KB
english, 2005